Теорема о пределе монотонной последовательности.
Формулировка:
Если $\{a_{n}\}$ - монотонна и ограничена, то она сходится.
Д-во:
Б.О.О. $a_{n}$ монотонно возрастает, $M = sup \{a_{n}\}$. По определению: $$\forall{\epsilon > 0}~~ \exists{N \in \mathbb{N}}~~ a_{N} > M - \epsilon \Rightarrow \forall{n>N}~~ M-\epsilon < a_{N} \leq a_{n} \leq M < M + \epsilon \Rightarrow M - \epsilon < a_{n} < M + \epsilon ~~~\square$$
(Аналогично для монотонно убывающей)
Другие названия:
- Теорема Вейерштрасса
- Теорема Больцано-Коши-Вейерштрасса